create procedure verifica_docente(@cod_dados int, @resultado int output)
as
select @resultado = professor.cod_professor
from professor
where professor.cod_dados = @cod_dados
go